GtkStyleSet: Register "margin" property.

diff --git a/gtk/gtkstyleset.c b/gtk/gtkstyleset.c
index 5c634100e0a6ce4038379970dec811e9e99ee5f3..101925a1cc1fdddb6811d18c43826260dca19bb3 100644 (file)
--- a/gtk/gtkstyleset.c
+++ b/gtk/gtkstyleset.c
@@ -85,6 +85,7 @@ gtk_style_set_class_init (GtkStyleSetClass *klass)
 
   gtk_style_set_register_property ("font", PANGO_TYPE_FONT_DESCRIPTION, NULL, NULL);
 
+  gtk_style_set_register_property ("margin", GTK_TYPE_BORDER, NULL, NULL);
   gtk_style_set_register_property ("padding", GTK_TYPE_BORDER, NULL, NULL);
   gtk_style_set_register_property ("border", G_TYPE_INT, NULL, NULL);